15 results
Impact of a Physician Clinical Support Supervisor in Supporting Patients and Families, Staff, and the Health-Care System During the COVID-19 Pandemic
-
- Journal:
- Disaster Medicine and Public Health Preparedness / Volume 16 / Issue 1 / February 2022
- Published online by Cambridge University Press:
- 10 September 2020, pp. 328-332
-
- Article
-
- You have access
- Open access
- HTML
- Export citation
Dynamic labeled 2-structures
-
- Journal:
- Mathematical Structures in Computer Science / Volume 4 / Issue 4 / December 1994
- Published online by Cambridge University Press:
- 04 March 2009, pp. 433-455
-
- Article
- Export citation
String and graph reduction systems for gene assembly in ciliates
-
- Journal:
- Mathematical Structures in Computer Science / Volume 12 / Issue 2 / April 2002
- Published online by Cambridge University Press:
- 08 May 2002, pp. 113-134
-
- Article
- Export citation
Invariants of inversive 2-structures on groups of labels
-
- Journal:
- Mathematical Structures in Computer Science / Volume 7 / Issue 4 / August 1997
- Published online by Cambridge University Press:
- 01 August 1997, pp. 303-327
-
- Article
- Export citation
Discernible elements in models for Peano arithmetic
-
- Journal:
- The Journal of Symbolic Logic / Volume 38 / Issue 2 / June 1973
- Published online by Cambridge University Press:
- 12 March 2014, pp. 291-292
- Print publication:
- June 1973
-
- Article
- Export citation
A. S. Ésénine-Volpine. Le programme ultra-intuitionniste des fondements des mathématiques. Infinitistic methods, Proceedings of the Symposium on Foundations of Mathematics, Warsaw, 2–9 September 1959, Panstwowe Wydawnictwo Naukowe, Warsaw, and Pergamon Press, Oxford-London-New York-Paris, 1961, pp. 201–223.
-
- Journal:
- The Journal of Symbolic Logic / Volume 32 / Issue 4 / February 1968
- Published online by Cambridge University Press:
- 12 March 2014, p. 517
- Print publication:
- February 1968
-
- Article
- Export citation
S. V. Áblonskij. Funkcional'nyé postroéniá v mnogoznačnyh logikah (Functional constructions in many-valued logics). Trudy Trét'égo Vséesoúznogo Matématičéskogo Sézda, Moskva, iún'-iúl' 1956, Vol. 2, Moscow1956, pp. 71–73.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 65
- Print publication:
- March 1958
-
- Article
- Export citation
S. I. Adán. Algoritmičéskaá nérazréšmost' problém raspoznavaniá nékotoryh svojstv grupp (The algorithmic unsolvability of the problem of checking certain properties of groups). Doklady Akadémii Nauk SSSR, vol. 103 (1955), pp. 533–535. - S. I. Adán. Konéčnooprédélénnyé gruppy i algoritmy (Finitely generated groups and algorithms). Uspéhi matématičiskih nauk, vol. 12 no. 3 (1957), pp. 248–249.
-
- Journal:
- The Journal of Symbolic Logic / Volume 23 / Issue 1 / March 1958
- Published online by Cambridge University Press:
- 12 March 2014, p. 54
- Print publication:
- March 1958
-
- Article
- Export citation
Allen Newell and Herbert A. Simon. The logic theory machine. A complex information processing system. Institute of Radio Engineers, Transactions on information theory, vol. IT-2 no. 3 (1956), pp. 61–79.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 3 / September 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 331-332
- Print publication:
- September 1957
-
- Article
- Export citation
V. A. Uspénskij. Sistémy péréčislimyh množéstv i ih numéracii (Systems of enumerable sets and their enumerations). Doklady Akadéimii Nauk SSSR, vol. 105 (1955), pp. 1155–1158.
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 2 / June 1957
- Published online by Cambridge University Press:
- 12 March 2014, p. 220
- Print publication:
- June 1957
-
- Article
- Export citation
Two theories with axioms built by means of pleonasms
-
- Journal:
- The Journal of Symbolic Logic / Volume 22 / Issue 1 / March 1957
- Published online by Cambridge University Press:
- 12 March 2014, pp. 36-38
- Print publication:
- March 1957
-
- Article
- Export citation
V. K. Détlovs. Normal'nyé algorifmy i rékursivnyé funkcii (Normal algorithms and recursive functions). Doklady Akadémii Nauk SSSR, vol. 90 (1953), pp. 723–725.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 4 / December 1956
- Published online by Cambridge University Press:
- 12 March 2014, p. 408
- Print publication:
- December 1956
-
- Article
- Export citation
A. A. Markov. O népréryvnosti konstruktivnyh funkcij (On the continuity of constructive functions). Uspéhi matématičéskih nauk, vol. 9 no. 3 (1954), pp. 226–230.
-
- Journal:
- The Journal of Symbolic Logic / Volume 21 / Issue 3 / September 1956
- Published online by Cambridge University Press:
- 12 March 2014, pp. 319-320
- Print publication:
- September 1956
-
- Article
- Export citation
S. V. Áblonskij. O supérpoziciáh funkcij algébry logiki (On superpositions of functions of the algebra of logic). Matématičéskij sbornik, n.s. vol. 30 (1952), pp. 329–348.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation
S. V. Áblonskij. O funkcional′noj polnoté v tréhznačnom isčislénii (On functional completeness in the three-valued calculus). Doklady Akadémii Nauk SSSR, vol. 95 (1954), pp. 1153–1155.
-
- Journal:
- The Journal of Symbolic Logic / Volume 20 / Issue 2 / June 1955
- Published online by Cambridge University Press:
- 12 March 2014, p. 175
- Print publication:
- June 1955
-
- Article
- Export citation